Regular Class Declaration

• Syntax:

  CLASS class_name "description" = type_signature;
  

  "class_name" is the name of the class
  "description" is a string expression
  "type_signature" is the signature of a type

• Description:

  A regular class declaration uses type-based signatures.

  Examples:

  CLASS c "Example" =
  RECORD
  {
    x: Type_1;
    y: Type_2;
  };
  

  CLASS RealVector = Real[4;];